Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Never Forget a Thing: Building AI Agents with Hybrid Memory Using Strands Agents
dev.toยท9hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Flag this post
PDXScript tree-sitter
blog.birbpara.deยท2h
๐ŸŒฒTree-sitter
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท16h
๐ŸชœRecursive Descent
Flag this post
A Beginnerโ€™s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.comยท11hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Flag this post
Durable execution workflow system based on Postgres
github.comยท6hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท25mยท
Discuss: Hacker News
๐ŸŒŠGradual Effects
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท19hยท
Discuss: Hacker News
๐ŸŒŠGradual Typing
Flag this post
๐ŸŽฒ On LLMs
kaukas.mataroa.blogยท11h
๐ŸŽฎLanguage Ergonomics
Flag this post
The top 4 JVM languages and why developers love them
infoworld.comยท2d
๐Ÿ”ฎClojure
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ“šStack Allocation
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“ŠLog Parsers
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
โš™๏ธTOML Parsers
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.ioยท9hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒฑMinimal Interpreters
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Llmtext โ€“ an open source toolkit for llms.txt adoption
llmtext.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Incremental Lexing
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.toยท3hยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post